#ifndef __BASIC_TYPES__BASIC_TYPES_H__
#define __BASIC_TYPES__BASIC_TYPES_H__

#include <public/config.h>

//momentaneamente



///*	GNUC system types(used in ERCOS-RT)	*/
#ifndef CONFIG_OS_ERCOS
typedef	unsigned int size_t;
typedef int ssize_t;
#endif

#ifdef CONFIG_OSAPI_UBOOTAPI
#include <basic_types/ubootapi/types.h>
#endif

#ifdef CONFIG_OSAPI_POSIX
#include <basic_types/posix/types.h>
#endif

#ifdef CONFIG_OSAPI_OSAPI
#include <basic_types/osapi/types.h>
#endif

#ifdef CONFIG_OSAPI_RTEMSAPI
#include <stdint.h>
#endif

#endif // __BASIC_TYPES__BASIC_TYPES_H__
